Subshifts, MSO Logic, and Collapsing Hierarchies

We use monadic second-order logic to define two-dimensional subshifts, or sets of colorings of the infinite plane. We present a natural family of quantifier alternation hierarchies, and show that they all collapse to the third level. In particular, this solves an open problem of [Jeandel & Theyssier 2013]. The results are in stark contrast with picture languages, where such hierarchies are usually infinite.Comment: 12 pages, 5 figures. To appear in conference proceedings of TCS 2014, published by Springe

Quasiperiodicity and non-computability in tilings

We study tilings of the plane that combine strong properties of different nature: combinatorial and algorithmic. We prove existence of a tile set that accepts only quasiperiodic and non-recursive tilings. Our construction is based on the fixed point construction; we improve this general technique and make it enforce the property of local regularity of tilings needed for quasiperiodicity. We prove also a stronger result: any effectively closed set can be recursively transformed into a tile set so that the Turing degrees of the resulted tilings consists exactly of the upper cone based on the Turing degrees of the later.Comment: v3: the version accepted to MFCS 201

Quantum computation with devices whose contents are never read

In classical computation, a "write-only memory" (WOM) is little more than an oxymoron, and the addition of WOM to a (deterministic or probabilistic) classical computer brings no advantage. We prove that quantum computers that are augmented with WOM can solve problems that neither a classical computer with WOM nor a quantum computer without WOM can solve, when all other resource bounds are equal. We focus on realtime quantum finite automata, and examine the increase in their power effected by the addition of WOMs with different access modes and capacities. Some problems that are unsolvable by two-way probabilistic Turing machines using sublogarithmic amounts of read/write memory are shown to be solvable by these enhanced automata.Comment: 32 pages, a preliminary version of this work was presented in the 9th International Conference on Unconventional Computation (UC2010

Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants

Abstract geometrical computation can solve hard combinatorial problems efficiently: we showed previously how Q-SAT can be solved in bounded space and time using instance-specific signal machines and fractal parallelization. In this article, we propose an approach for constructing a particular generic machine for the same task. This machine deploies the Map/Reduce paradigm over a fractal structure. Moreover our approach is modular: the machine is constructed by combining modules. In this manner, we can easily create generic machines for solving satifiability variants, such as SAT, #SAT, MAX-SAT

A Nd Isotopic Study of Southern Sourced Waters and Indonesian Throughflow at Intermediate Depths in the Cenozoic Indian Ocean

We present Nd isotopic data for fossil fish teeth recovered from the past 40 m.y. at ODP Site 757, currentlylocated at 1650m water depth on the Ninetyeast Ridge in the Indian Ocean. Although Site 757 sits in a regionstrongly influenced by weathering inputs from the Himalayas and volcanic inputs from the Indonesian arc, the pattern of Nd isotopic variations does not appear to respond to these potential sources of Nd. Instead, secular variations correlate to changes in the composition of intermediate to deep water masses bathing thesite and circulation patterns in the Indian Ocean. From ~40 to 10 Ma, eNd values and the pattern of change at Site 757 closely match those of ODP Site 1090, a deep water site in the Atlantic sector of the Southern Ocean. Comparison to data from several Fe-Mn crusts in the Indian Ocean suggests that intermediate to deep waterflow paths were similar to the modern distribution of Circumpolar DeepWater. At approximately 10 Ma, Ndisotopic values increase in a step function by 2 eNd units, suggesting that plate motions had carried Site 757into a region influenced by Indonesian Throughflow. Estimates of the vertical and horizontal position of thissite at 10 Ma imply that Indonesian Throughflow extended as far south as ~20S and to a depth of ~1500 m. From 10 to 0 Ma, Nd isotopic variations at Site 757 appear to record variations in Indonesian Throughflow. From 10 to 5.5 Ma, values at Site 757 overlap with those from crusts located in the southwest Pacific,indicating extensive flow through the Indonesian Seaway. From 5.5 to 3.4 Ma, eNd values become lessradiogenic at Site 757 and more radiogenic in the southwest Pacific, suggesting increasing closure of theseaway and concomitant rerouting of equatorial Pacific waters. Beginning at 3.4 Ma, eNd values becomemore radiogenic again at Site 757, which may be attributed to enhanced opening of the seaway or to a changein the source of Throughflow waters from a southern to a northern Pacific region

Geochemical Study of Natural CO2 Emissions in the French Massif Central: How to Predict Origin, Processes and Evolution of CO2 Leakage

International audienceThis study presents an overview of some results obtained within the French ANR (National Agency of Research) supported Géocarbone-Monitoring research program. The measurements were performed in Sainte-Marguerite, located in the French Massif Central. This site represents a natural laboratory for CO2/fluid/rock interactions studies, as well as CO2 migration mechanisms towards the surface. The CO2 leaking character of the studied area also allows to test and validate measurements methods and verifications for the future CO2 geological storage sites. During these surveys, we analyzed soil CO2 fluxes and concentrations. We sampled and analyzed soil gases, and gas from carbo-gaseous bubbling springs. A one-month continuous monitoring was also tested, to record the concentration of CO2 both in atmosphere and in the soil at a single point. We also developed a new methodology to collect soil gas samples for noble gas abundances and isotopic analyses, as well as carbon isotopic ratios. Our geochemical results, combined with structural geology, show that the leaking CO2 has a very deep origin, partially mantle derived. The gas rises rapidly along normal and strike-slip active faults. CO2 soil concentrations (also showing a mantle derived component) and CO2 fluxes are spatially variable, and reach high values. The recorded atmospheric CO2 is not very high, despite the important CO2 degassing throughout the whole area

Antarctic climate, Southern Ocean circulation patterns, and deep water formation during the Eocene

We assess early-to-middle Eocene seawater neodymium (Nd) isotope records from seven Southern Ocean deep-sea drill sites to evaluate the role of Southern Ocean circulation in long-term Cenozoic climate change. Our study sites are strategically located on either side of the Tasman Gateway and are positioned at a range of shallow (Nd(t) = −9.3 ± 1.5). IODP Site U1356 off the coast of Adélie Land, a locus of modern-day Antarctic Bottom Water production, is identified as a site of persistent deep water formation from the early Eocene to the Oligocene. East of the Tasman Gateway an additional local source of intermediate/deep water formation is inferred at ODP Site 277 in the SW Pacific Ocean (εNd(t) = −8.7 ± 1.5). Antarctic-proximal shelf sites (ODP Site 1171 and Site U1356) reveal a pronounced erosional event between 49 and 48 Ma, manifested by ~2 εNd unit negative excursions in seawater chemistry toward the composition of bulk sediments at these sites. This erosional event coincides with the termination of peak global warmth following the Early Eocene Climatic Optimum and is associated with documented cooling across the study region and increased export of Antarctic deep waters, highlighting the complexity and importance of Southern Ocean circulation in the greenhouse climate of the Eocene

Post-Epidemic Chikungunya Disease on Reunion Island: Course of Rheumatic Manifestations and Associated Factors over a 15-Month Period

Although the acute manifestations of Chikungunya virus (CHIKV) illness are well-documented, few data exist about the long-term rheumatic outcomes of CHIKV-infected patients. We undertook between June and September 2006 a retrospective cohort study aimed at assessing the course of late rheumatic manifestations and investigating potential risk factors associated with the persistence of these rheumatic manifestations over 15 months. 147 participants (>16 yrs) with laboratory-confirmed CHIKV disease diagnosed between March 1 and June 30, 2005, were identified through a surveillance database and interviewed by telephone. At the 15-month-period evaluation after diagnosis, 84 of 147 participants (57%) self-reported rheumatic symptoms. Of these 84 patients, 53 (63%) reported permanent trouble while 31 (37%) had recurrent symptoms. Age ≥45 years (OR = 3.9, 95% CI 1.7–9.7), severe initial joint pain (OR = 4.8, 95% CI 1.9–12.1), and presence of underlying osteoarthritis comorbidity (OR = 2.9, 95% CI 1.1–7.4) were predictors of nonrecovery. Our findings suggest that long-term CHIKV rheumatic manifestations seem to be a frequent underlying post-epidemic condition. Three independent risk factors that may aid in early recognition of patients with the highest risk of presenting prolonged CHIKV illness were identified. Such findings may be particularly useful in the development of future prevention and care strategies for this emerging virus infection

Introduction to the French GEOTRACES North Atlantic Transect (GA01): GEOVIDE cruise

The GEOVIDE cruise, a collaborative project within the framework of the international GEOTRACES programme, was conducted along the French-led section in the North Atlantic Ocean (Section GA01), between 15 May and 30 June 2014. In this special issue (https://www.biogeosciences.net/special_issue900.html), results from GEOVIDE, including physical oceanography and trace element and isotope cyclings, are presented among 18 articles. Here, the scientific context, project objectives, and scientific strategy of GEOVIDE are provided, along with an overview of the main results from the articles published in the special issue

Long term records of erosional change from marine ferromanganese crusts

Ferromanganese crusts from the Atlantic, Indian and Pacific Oceans record the Nd and Pb isotope compositions of the water masses from which they form as hydrogenous precipitates. The10Be/9Be-calibrated time series for crusts are compared to estimates based on Co-contents, from which the equatorial Pacific crusts studied are inferred to have recorded ca. 60 Ma of Pacific deep water history. Time series of ɛNd show that the oceans have maintained a strong provinciality in Nd isotopic composition, determined by terrigenous inputs, over periods of up to 60 Ma. Superimposed on the distinct basin-specific signatures are variations in Nd and Pb isotope time series which have been particularly marked over the last 5 Ma. It is shown that changes in erosional inputs, particularly associated with Himalayan uplift and the northern hemisphere glaciation have influenced Indian and Atlantic Ocean deep water isotopic compositions respectively. There is no evidence so far for an imprint of the final closure of the Panama Isthmus on the Pb and Nd isotopic composition in either Atlantic or Pacific deep water masses